<?php
if (!isset($_SESSION))
{
    session_start();
}
if (!isset($_SESSION["login"]) || $_SESSION["login"]["sessionId"] != session_id())
{
    header("Location: login.php?error=".ACCESO_DENEGADO);
}

?>
